package IC.Semantics.types;

import IC.Semantics.SemanticError;

/**
 * this is a dummy type, used in the fref checks
 */
public class AllMightyType extends SemanticType{
	
	public AllMightyType() {
		super("allmighty");
	}

	/**
	 * always return true so we can pass type checking for forward referenced types until met later in the tree
	 */
	@Override
	public boolean subtypeOf(SemanticType t) throws SemanticError {
		return true;
	}

}
